system of logic

1. Problems to Solve in the Construction of the System of Mathematical Dialectical Logic
   建构数理辩证逻辑系统必须澄清的一些理论问题
2. A System of Belief Logic Based on Ordinal Conditional Function
   一个基于顺序条件函数的信念逻辑系统
3. A system of symbolic logic that represents individuals and predicates and quantification over individuals ( as well as the relations between propositions). The term "Raba" means "roaming artist".
   表示个体，谓词，个体量化，和命题关系的一种形式逻辑。“热巴”：“热巴”一词，意为“流浪艺人”、也是人们对其表演形式的称谓。
4. And I prove the formal axiomatic system of prepositional logic that is made up of Axiomatic Mode and the Rule of Detachment does not possess syntactic perfectibility.
   证明：由公理模式和分离规则构成的命题逻辑公理系统不具有语法完全性。
5. To construct the system of mathematical dialectical logic, we must first understand correctly the following theoretical issues: 1.
   为了建构数理辩证逻辑系统，必须首先正确理解如下几个理论问题：1。
6. This book is an academic project of great importance aiming at a crosswise system of the Chinese logic in a reader of the text-book style.
   构建中国逻辑的横向体系，编写出教科书式的中国逻辑读本，是一项极具意义的学术工程。
7. Research of Fault Diagnosis System of the Logic Transform Device of the Flight Control System
   某飞控系统逻辑转换装置故障诊断系统的实现
8. A system of logic whose formal properties resemble certain moral and epistemological concepts.
   其形式性质类似道义与知识概念的一种逻辑；研究必然可能与相关概念的性质的一种逻辑。
9. The system of quantum logic and the solutions of uncompatibility
   量子逻辑系统及其不相容性的解决
10. This tradition has dismembered the theoretical system of modern logic and distorted its spirit.
    这种做法实际上仍然是拒绝现代逻辑：它肢解了现代逻辑的知识体系，歪曲了现代逻辑的基本精神。
11. Study on Initiation Control System of Explosive Logic Network
    爆炸逻辑网络起爆控制系统研究
12. Eight feature parameters were combined with diagnosis system of fuzzy logic inference, and membership degree functions of eight feature parameters and output membership degree functions of six states were set up respectively.
    将8个特征参数融合到模糊逻辑推理诊断系统中，根据实验统计，分别建立了8个特征的隶属度函数和6种状态的输出隶属度函数。
13. Alethic Model 、 Deontic Model and The Classic System Of Deontic Logic
    真性模态、道义模态和现代道义逻辑的经典系统
14. Classic system of deontic logic is a logic about action whose new development will introduce agent concept and occas-sion concept in this system;
    道义逻辑的经典系统是关于行动的逻辑.这种逻辑发展的新思路是在其系统中引入主体和场合概念；
15. N_l: a loose natural deduction system of temporal logic
    NL：松弛时序逻辑自然推理系统
16. A first order system of vector logic is studied.
    讨论了向量值一阶逻辑形式系统。
17. Predicate calculus system of medium logic(ⅰ)
    中介逻辑的谓词演算系统（Ⅰ）
18. Study on Problem of Low-Magnetic Vibration of the Control System of Ready Logic Non-Circulating Current
    有准备逻辑无环流控制系统弱磁振荡问题研究
19. This article analyses the some jamming factors in the control system of programmable logic controller ( PLC), and brings forward the concrete methods and steps of systematic anti-jamming from the sides of the installation, the electric source, the systematic input, output electrocircuit design, etc.
    对PLC控制系统的一些干扰因素进行了分析，从PLC的安装，电源，系统输入、输出电路设计等方面，提出了系统抗干扰的具体方法和措施。
20. Describes the constitution of integrated platform of chemical simulation, details of technology to realize the system, and methods of how to create the system of logic and counterplan for safety, and how to create the system of evaluation to operations.
    介绍了运用虚拟现实技术完成对化工安全综合仿真平台的构建、系统实现的具体技术细节、以及安全预案逻辑仿真与操作评分系统的建立方法。
21. An extension of the propositional calculus system of medium logic(ⅱ)
    中介逻辑命题演算的扩张（Ⅱ）
22. The paper mainly discusses the realization method of data acquisition and chip types and I/ O pin types identification in "The on-system decrypting system of the logic indefinite chips".
    本文主要讨论在线式逻辑不明芯片解析系统中数据采集和芯片类型、I／O属性判别的实现方法。
23. In propositional calculus system of medium logic ( MP~), superior disjunctive normal form theorem and two corollary have been proved.
    本文证明了MP~中的完全析取范式定理及其两个推论。文中也给出了判别Γ（？）
24. A logic design automation system of generating logic diagram from hardware description
    从硬件描述语言直接生成逻辑图的逻辑设计自动化系统
25. At last, the tableau system of medium logic predicate calculus system MFM is constructed, and the soundness and completeness of the system is proved. This system can act as the automated reasoning system in incomplete information environments.
    最后，建立了中介逻辑谓词演算系统MFM的表推演系统，并证明了该系统的可靠性和完备性，该系统可作为不完全信息的自动推演系统。
26. Traditional Logic and Modern Logic: A Concurrent Analysis of the Construction of Teaching System of Logic Course
    如何对待传统逻辑与现代逻辑&兼谈逻辑学教学体系的构建
27. Secondly, he put forward the new concept of practical contradiction, hence the deepened system of logic categories, which was a creation of logic system with great constructive significance.
    他提出现实矛盾概念，深化了科学的逻辑范畴体系，这是逻辑理论体系的创新，具有重大建树意义；
28. Ore-rock stability classification based on system of fuzzy logic inference
    基于模糊逻辑推理的矿岩稳定性分级
29. Liang Qi-cao was the earliest one early in the twentieth century to sum up the contents of the logical system of Mohist School and initially put forward a system of Mohist Logic.
    二十世纪初，梁启超最早对墨家逻辑体系的内容进行了总结概括，初步提出了一个墨家逻辑的体系。

noun

1. a system of reasoning

   Synonym:    logiclogical system